81. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
82. Systolic Computations
پدیدآورنده : by M.A. Frumkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Software engineering.
83. The beauty of mathematics in computer science /
پدیدآورنده : Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
رده :
QA76
.
9
.
M35
W84
2019
84. The design and analysis of computer algorithms /
پدیدآورنده : Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
85. The making of a new science :
پدیدآورنده : Giorgio Ausiello.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
86. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
87. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
88. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
89. Undocumented secrets of MATLAB-Java programming /
پدیدآورنده : Yair Altman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : MATLAB.,MATLAB.,Java (Computer program language),Numerical analysis-- Data processing.,Numerical Analysis, Computer-Assisted.,Programming Languages.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Programming-- Algorithms.,Java (Computer program language),MATHEMATICS-- Number Systems.,MATHEMATICS-- Numerical Analysis.,Numerical analysis-- Data processing.
رده :
QA297
.
A544
2012
90. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
پدیدآورنده : D. T. Pham and D. Kraboga
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع : Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
91. intelligent optimization techniques:genetic algorithms,Tabu search,aimulated Annealing and Neural networks
پدیدآورنده : D.T.Pham D.Karaboga
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Engineering-data processing,computer aided engineering,Heuristic programming,genetic algorithms,simulated annealing)mathematics(,Neural networks
رده :
TA
345
.
P54
,
I7
1998
